Linking Game-Theoretical Approaches with Constructive Type Theory by Nicolas Clerbout & Shahid Rahman

Author:Nicolas Clerbout & Shahid Rahman
Language: eng
Format: epub
Publisher: Springer International Publishing, Cham

2.Now, because the finiteness of plays is ensured by repetition ranks, the only way for t to be critical is for to react in an infinite number of ways to at least one of its predecessors, or even t itself.

3.From the dialogical rules, we know that there are only two cases in which the Opponent has the local choice between infinitely many moves, namely:when applying the Posit-Substitution rule of Sect. 2.​2 to challenge a hypothetical move by instantiating the assumptions in the context. Indeed in this rule the challenger is the one choosing the instantiations of the s which occur in the assumptions; or

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.